Fizikos terminų žodynas : lietuvių, anglų, prancūzų, vokiečių ir rusų kalbomis. – Vilnius : Mokslo ir enciklopedijų leidybos institutas. Vilius Palenskis, Vytautas Valiukėnas, Valerijonas Žalkauskas, Pranas Juozas Žilinskas. 2007.
СВОБОДНАЯ АЛГЕБРАИЧЕСКАЯ СИСТЕМА — свободный объект в нек ром классе алгебраич. систем. Пусть непустой класс алгебраич. систем (см. Алгебраических систем класс). Система Рназ. свободной в классе , или свободной, если она принадлежит классу и обладает таким множеством Xпорождающих … Математическая энциклопедия
Алгебраическая система — (или алгебраическая структура) в универсальной алгебре множество (носитель) с заданным на нём набором операций и отношений (сигнатура), удовлетворяющим некоторой системе аксиом. Алгебраическая система с пустым множеством отношений… … Википедия
ГЕНЦЕНА ФОРМАЛЬНАЯ СИСТЕМА — логико математич. исчисление, служащее для формализации и исследования содержательных доказательств, оперирующих с допущениями (гипотезами). Введены Г. Генценом (G. Gentzen, |2]). Г. ф. с. делят на системы естественного вывода (или натуральные,… … Математическая энциклопедия
Termsystem — termų sistema statusas T sritis fizika atitikmenys: angl. term system vok. Termsystem, n rus. система термов, f pranc. système des termes, m … Fizikos terminų žodynas
système des termes — termų sistema statusas T sritis fizika atitikmenys: angl. term system vok. Termsystem, n rus. система термов, f pranc. système des termes, m … Fizikos terminų žodynas
term system — termų sistema statusas T sritis fizika atitikmenys: angl. term system vok. Termsystem, n rus. система термов, f pranc. système des termes, m … Fizikos terminų žodynas
termų sistema — statusas T sritis fizika atitikmenys: angl. term system vok. Termsystem, n rus. система термов, f pranc. système des termes, m … Fizikos terminų žodynas
символика логическая — система знаков (символов), используемая в логике для обозначения термов, предикатов, выска зываний, логических функций, отношений между высказываниями. В разных логических системах могут использоваться различные системы обозначений, поэтому ниже… … Словарь терминов логики
типов теория — система логики предикатов более высокого порядка, чем первый, включающая переменные различных уровней, типов (см.: Переменная) и ограничения на подстановку термов вместо переменных. В ней по меньшей мере имеются не только предметные переменные,… … Словарь терминов логики
ЛОГИКА ПРЕДИКАТОВ — центральный раздел логики, в котором изучается субъектно предикатная структура высказывании и истинностные взаимосвязи между ними. Л.п. представляет собой содержательное расширение логики высказываний. В рамках данного раздела любое высказывание… … Философская энциклопедия
